Optimal. Leaf size=524 \[ -\frac{i a^{3/2} \sec (c+d x) \tan ^{-1}\left (1-\frac{\sqrt{2} \sqrt{a-i a \tan (c+d x)} \sqrt{e \cos (c+d x)}}{\sqrt{a} \sqrt{e}}\right )}{\sqrt{2} d e^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}+\frac{i a^{3/2} \sec (c+d x) \tan ^{-1}\left (1+\frac{\sqrt{2} \sqrt{a-i a \tan (c+d x)} \sqrt{e \cos (c+d x)}}{\sqrt{a} \sqrt{e}}\right )}{\sqrt{2} d e^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}+\frac{i a^{3/2} \sec (c+d x) \log \left (-\frac{\sqrt{2} \sqrt{a} \sqrt{a-i a \tan (c+d x)} \sqrt{e \cos (c+d x)}}{\sqrt{e}}+\cos (c+d x) (a-i a \tan (c+d x))+a\right )}{2 \sqrt{2} d e^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}-\frac{i a^{3/2} \sec (c+d x) \log \left (\frac{\sqrt{2} \sqrt{a} \sqrt{a-i a \tan (c+d x)} \sqrt{e \cos (c+d x)}}{\sqrt{e}}+\cos (c+d x) (a-i a \tan (c+d x))+a\right )}{2 \sqrt{2} d e^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}+\frac{i a}{d \sqrt{a+i a \tan (c+d x)} (e \cos (c+d x))^{3/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.590468, antiderivative size = 620, normalized size of antiderivative = 1.18, number of steps used = 13, number of rules used = 10, integrand size = 30, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.333, Rules used = {3515, 3498, 3499, 3495, 297, 1162, 617, 204, 1165, 628} \[ -\frac{i a^{3/2} e^{3/2} \sec (c+d x) \tan ^{-1}\left (1-\frac{\sqrt{2} \sqrt{e} \sqrt{a-i a \tan (c+d x)}}{\sqrt{a} \sqrt{e \sec (c+d x)}}\right )}{\sqrt{2} d \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)} (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2}}+\frac{i a^{3/2} e^{3/2} \sec (c+d x) \tan ^{-1}\left (1+\frac{\sqrt{2} \sqrt{e} \sqrt{a-i a \tan (c+d x)}}{\sqrt{a} \sqrt{e \sec (c+d x)}}\right )}{\sqrt{2} d \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)} (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2}}+\frac{i a^{3/2} e^{3/2} \sec (c+d x) \log \left (-\frac{\sqrt{2} \sqrt{a} \sqrt{e} \sqrt{a-i a \tan (c+d x)}}{\sqrt{e \sec (c+d x)}}+\cos (c+d x) (a-i a \tan (c+d x))+a\right )}{2 \sqrt{2} d \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)} (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2}}-\frac{i a^{3/2} e^{3/2} \sec (c+d x) \log \left (\frac{\sqrt{2} \sqrt{a} \sqrt{e} \sqrt{a-i a \tan (c+d x)}}{\sqrt{e \sec (c+d x)}}+\cos (c+d x) (a-i a \tan (c+d x))+a\right )}{2 \sqrt{2} d \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)} (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2}}+\frac{i a}{d \sqrt{a+i a \tan (c+d x)} (e \cos (c+d x))^{3/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3515
Rule 3498
Rule 3499
Rule 3495
Rule 297
Rule 1162
Rule 617
Rule 204
Rule 1165
Rule 628
Rubi steps
\begin{align*} \int \frac{\sqrt{a+i a \tan (c+d x)}}{(e \cos (c+d x))^{3/2}} \, dx &=\frac{\int (e \sec (c+d x))^{3/2} \sqrt{a+i a \tan (c+d x)} \, dx}{(e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2}}\\ &=\frac{i a}{d (e \cos (c+d x))^{3/2} \sqrt{a+i a \tan (c+d x)}}+\frac{a \int \frac{(e \sec (c+d x))^{3/2}}{\sqrt{a+i a \tan (c+d x)}} \, dx}{2 (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2}}\\ &=\frac{i a}{d (e \cos (c+d x))^{3/2} \sqrt{a+i a \tan (c+d x)}}+\frac{(a e \sec (c+d x)) \int \sqrt{e \sec (c+d x)} \sqrt{a-i a \tan (c+d x)} \, dx}{2 (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}\\ &=\frac{i a}{d (e \cos (c+d x))^{3/2} \sqrt{a+i a \tan (c+d x)}}+\frac{\left (2 i a^2 e^3 \sec (c+d x)\right ) \operatorname{Subst}\left (\int \frac{x^2}{a^2+e^2 x^4} \, dx,x,\frac{\sqrt{a-i a \tan (c+d x)}}{\sqrt{e \sec (c+d x)}}\right )}{d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}\\ &=\frac{i a}{d (e \cos (c+d x))^{3/2} \sqrt{a+i a \tan (c+d x)}}-\frac{\left (i a^2 e^2 \sec (c+d x)\right ) \operatorname{Subst}\left (\int \frac{a-e x^2}{a^2+e^2 x^4} \, dx,x,\frac{\sqrt{a-i a \tan (c+d x)}}{\sqrt{e \sec (c+d x)}}\right )}{d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}+\frac{\left (i a^2 e^2 \sec (c+d x)\right ) \operatorname{Subst}\left (\int \frac{a+e x^2}{a^2+e^2 x^4} \, dx,x,\frac{\sqrt{a-i a \tan (c+d x)}}{\sqrt{e \sec (c+d x)}}\right )}{d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}\\ &=\frac{i a}{d (e \cos (c+d x))^{3/2} \sqrt{a+i a \tan (c+d x)}}+\frac{\left (i a^2 e \sec (c+d x)\right ) \operatorname{Subst}\left (\int \frac{1}{\frac{a}{e}-\frac{\sqrt{2} \sqrt{a} x}{\sqrt{e}}+x^2} \, dx,x,\frac{\sqrt{a-i a \tan (c+d x)}}{\sqrt{e \sec (c+d x)}}\right )}{2 d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}+\frac{\left (i a^2 e \sec (c+d x)\right ) \operatorname{Subst}\left (\int \frac{1}{\frac{a}{e}+\frac{\sqrt{2} \sqrt{a} x}{\sqrt{e}}+x^2} \, dx,x,\frac{\sqrt{a-i a \tan (c+d x)}}{\sqrt{e \sec (c+d x)}}\right )}{2 d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}+\frac{\left (i a^{3/2} e^{3/2} \sec (c+d x)\right ) \operatorname{Subst}\left (\int \frac{\frac{\sqrt{2} \sqrt{a}}{\sqrt{e}}+2 x}{-\frac{a}{e}-\frac{\sqrt{2} \sqrt{a} x}{\sqrt{e}}-x^2} \, dx,x,\frac{\sqrt{a-i a \tan (c+d x)}}{\sqrt{e \sec (c+d x)}}\right )}{2 \sqrt{2} d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}+\frac{\left (i a^{3/2} e^{3/2} \sec (c+d x)\right ) \operatorname{Subst}\left (\int \frac{\frac{\sqrt{2} \sqrt{a}}{\sqrt{e}}-2 x}{-\frac{a}{e}+\frac{\sqrt{2} \sqrt{a} x}{\sqrt{e}}-x^2} \, dx,x,\frac{\sqrt{a-i a \tan (c+d x)}}{\sqrt{e \sec (c+d x)}}\right )}{2 \sqrt{2} d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}\\ &=\frac{i a}{d (e \cos (c+d x))^{3/2} \sqrt{a+i a \tan (c+d x)}}+\frac{i a^{3/2} e^{3/2} \log \left (a-\frac{\sqrt{2} \sqrt{a} \sqrt{e} \sqrt{a-i a \tan (c+d x)}}{\sqrt{e \sec (c+d x)}}+\cos (c+d x) (a-i a \tan (c+d x))\right ) \sec (c+d x)}{2 \sqrt{2} d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}-\frac{i a^{3/2} e^{3/2} \log \left (a+\frac{\sqrt{2} \sqrt{a} \sqrt{e} \sqrt{a-i a \tan (c+d x)}}{\sqrt{e \sec (c+d x)}}+\cos (c+d x) (a-i a \tan (c+d x))\right ) \sec (c+d x)}{2 \sqrt{2} d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}+\frac{\left (i a^{3/2} e^{3/2} \sec (c+d x)\right ) \operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1-\frac{\sqrt{2} \sqrt{e} \sqrt{a-i a \tan (c+d x)}}{\sqrt{a} \sqrt{e \sec (c+d x)}}\right )}{\sqrt{2} d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}-\frac{\left (i a^{3/2} e^{3/2} \sec (c+d x)\right ) \operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1+\frac{\sqrt{2} \sqrt{e} \sqrt{a-i a \tan (c+d x)}}{\sqrt{a} \sqrt{e \sec (c+d x)}}\right )}{\sqrt{2} d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}\\ &=\frac{i a}{d (e \cos (c+d x))^{3/2} \sqrt{a+i a \tan (c+d x)}}-\frac{i a^{3/2} e^{3/2} \tan ^{-1}\left (1-\frac{\sqrt{2} \sqrt{e} \sqrt{a-i a \tan (c+d x)}}{\sqrt{a} \sqrt{e \sec (c+d x)}}\right ) \sec (c+d x)}{\sqrt{2} d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}+\frac{i a^{3/2} e^{3/2} \tan ^{-1}\left (1+\frac{\sqrt{2} \sqrt{e} \sqrt{a-i a \tan (c+d x)}}{\sqrt{a} \sqrt{e \sec (c+d x)}}\right ) \sec (c+d x)}{\sqrt{2} d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}+\frac{i a^{3/2} e^{3/2} \log \left (a-\frac{\sqrt{2} \sqrt{a} \sqrt{e} \sqrt{a-i a \tan (c+d x)}}{\sqrt{e \sec (c+d x)}}+\cos (c+d x) (a-i a \tan (c+d x))\right ) \sec (c+d x)}{2 \sqrt{2} d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}-\frac{i a^{3/2} e^{3/2} \log \left (a+\frac{\sqrt{2} \sqrt{a} \sqrt{e} \sqrt{a-i a \tan (c+d x)}}{\sqrt{e \sec (c+d x)}}+\cos (c+d x) (a-i a \tan (c+d x))\right ) \sec (c+d x)}{2 \sqrt{2} d (e \cos (c+d x))^{3/2} (e \sec (c+d x))^{3/2} \sqrt{a-i a \tan (c+d x)} \sqrt{a+i a \tan (c+d x)}}\\ \end{align*}
Mathematica [A] time = 3.89304, size = 274, normalized size = 0.52 \[ \frac{i e^{-\frac{1}{2} i (c+d x)} \cos ^2(c+d x) \sqrt{a+i a \tan (c+d x)} (\cos (c+d x)+i \sin (c+d x)) \left (-2 i \sqrt{2} \sin \left (\frac{1}{2} (c+d x)\right )+2 \sqrt{2} \cos \left (\frac{1}{2} (c+d x)\right )+\log \left (-\sqrt{2} e^{\frac{1}{2} i (c+d x)}+e^{i (c+d x)}+1\right ) \cos (c+d x)-\log \left (\sqrt{2} e^{\frac{1}{2} i (c+d x)}+e^{i (c+d x)}+1\right ) \cos (c+d x)+2 \cos (c+d x) \tan ^{-1}\left (1-\sqrt{2} e^{\frac{1}{2} i (c+d x)}\right )-2 \cos (c+d x) \tan ^{-1}\left (1+\sqrt{2} e^{\frac{1}{2} i (c+d x)}\right )\right )}{\sqrt{2} d \left (1+e^{2 i (c+d x)}\right ) (e \cos (c+d x))^{3/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.412, size = 308, normalized size = 0.6 \begin{align*}{\frac{\cos \left ( dx+c \right ) \left ( \cos \left ( dx+c \right ) -1 \right ) ^{2}}{2\,d \left ( \sin \left ( dx+c \right ) \right ) ^{3} \left ( i\sin \left ( dx+c \right ) +\cos \left ( dx+c \right ) -1 \right ) }\sqrt{{\frac{a \left ( i\sin \left ( dx+c \right ) +\cos \left ( dx+c \right ) \right ) }{\cos \left ( dx+c \right ) }}} \left ( 2\,i\sin \left ( dx+c \right ) \sqrt{ \left ( \cos \left ( dx+c \right ) +1 \right ) ^{-1}}+i\cos \left ( dx+c \right ){\it Artanh} \left ({\frac{-\cos \left ( dx+c \right ) -1+\sin \left ( dx+c \right ) }{2}\sqrt{ \left ( \cos \left ( dx+c \right ) +1 \right ) ^{-1}}} \right ) +i{\it Artanh} \left ({\frac{\cos \left ( dx+c \right ) +1+\sin \left ( dx+c \right ) }{2}\sqrt{ \left ( \cos \left ( dx+c \right ) +1 \right ) ^{-1}}} \right ) \cos \left ( dx+c \right ) -2\,\cos \left ( dx+c \right ) \sqrt{ \left ( \cos \left ( dx+c \right ) +1 \right ) ^{-1}}-\cos \left ( dx+c \right ){\it Artanh} \left ({\frac{-\cos \left ( dx+c \right ) -1+\sin \left ( dx+c \right ) }{2}\sqrt{ \left ( \cos \left ( dx+c \right ) +1 \right ) ^{-1}}} \right ) +{\it Artanh} \left ({\frac{\cos \left ( dx+c \right ) +1+\sin \left ( dx+c \right ) }{2}\sqrt{ \left ( \cos \left ( dx+c \right ) +1 \right ) ^{-1}}} \right ) \cos \left ( dx+c \right ) -2\,\sqrt{ \left ( \cos \left ( dx+c \right ) +1 \right ) ^{-1}} \right ) \left ( \left ( \cos \left ( dx+c \right ) +1 \right ) ^{-1} \right ) ^{-{\frac{3}{2}}} \left ( e\cos \left ( dx+c \right ) \right ) ^{-{\frac{3}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 3.33966, size = 2476, normalized size = 4.73 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.24811, size = 1303, normalized size = 2.49 \begin{align*} \frac{4 i \, \sqrt{2} \sqrt{\frac{1}{2}} \sqrt{e e^{\left (2 i \, d x + 2 i \, c\right )} + e} \sqrt{\frac{a}{e^{\left (2 i \, d x + 2 i \, c\right )} + 1}} e^{\left (\frac{1}{2} i \, d x + \frac{1}{2} i \, c\right )} +{\left (d e^{2} e^{\left (2 i \, d x + 2 i \, c\right )} + d e^{2}\right )} \sqrt{\frac{i \, a}{d^{2} e^{3}}} \log \left (i \, d e^{2} \sqrt{\frac{i \, a}{d^{2} e^{3}}} + \sqrt{2} \sqrt{\frac{1}{2}} \sqrt{e e^{\left (2 i \, d x + 2 i \, c\right )} + e} \sqrt{\frac{a}{e^{\left (2 i \, d x + 2 i \, c\right )} + 1}} e^{\left (\frac{1}{2} i \, d x + \frac{1}{2} i \, c\right )}\right ) -{\left (d e^{2} e^{\left (2 i \, d x + 2 i \, c\right )} + d e^{2}\right )} \sqrt{\frac{i \, a}{d^{2} e^{3}}} \log \left (-i \, d e^{2} \sqrt{\frac{i \, a}{d^{2} e^{3}}} + \sqrt{2} \sqrt{\frac{1}{2}} \sqrt{e e^{\left (2 i \, d x + 2 i \, c\right )} + e} \sqrt{\frac{a}{e^{\left (2 i \, d x + 2 i \, c\right )} + 1}} e^{\left (\frac{1}{2} i \, d x + \frac{1}{2} i \, c\right )}\right ) +{\left (d e^{2} e^{\left (2 i \, d x + 2 i \, c\right )} + d e^{2}\right )} \sqrt{-\frac{i \, a}{d^{2} e^{3}}} \log \left (i \, d e^{2} \sqrt{-\frac{i \, a}{d^{2} e^{3}}} + \sqrt{2} \sqrt{\frac{1}{2}} \sqrt{e e^{\left (2 i \, d x + 2 i \, c\right )} + e} \sqrt{\frac{a}{e^{\left (2 i \, d x + 2 i \, c\right )} + 1}} e^{\left (\frac{1}{2} i \, d x + \frac{1}{2} i \, c\right )}\right ) -{\left (d e^{2} e^{\left (2 i \, d x + 2 i \, c\right )} + d e^{2}\right )} \sqrt{-\frac{i \, a}{d^{2} e^{3}}} \log \left (-i \, d e^{2} \sqrt{-\frac{i \, a}{d^{2} e^{3}}} + \sqrt{2} \sqrt{\frac{1}{2}} \sqrt{e e^{\left (2 i \, d x + 2 i \, c\right )} + e} \sqrt{\frac{a}{e^{\left (2 i \, d x + 2 i \, c\right )} + 1}} e^{\left (\frac{1}{2} i \, d x + \frac{1}{2} i \, c\right )}\right )}{2 \,{\left (d e^{2} e^{\left (2 i \, d x + 2 i \, c\right )} + d e^{2}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{i \, a \tan \left (d x + c\right ) + a}}{\left (e \cos \left (d x + c\right )\right )^{\frac{3}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]